mu . bimap id eta = rho
mu . bimap eta id = lambda